Author facet: Bjorner, D. - ECU Libraries Catalog Search Results

Clear Search

You searched for: Author facet Bjorner, D.

1 - 5 of 5

Abstract Software Specifications 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
by Bjorner, D.
2007
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

V. D. M. and Z. Formal Methods in Software Development - International Symposium Proceedings
by Hoare, C.A.R.
2007
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

The Vienna Development Method: the Meta-Language
by Bjorner, D.
2007
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Vdm '87 : Vdm - A Formal Method at Work
by Bjorner, D.
1987
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Towards a Formal Description of ADA
by Bjorner, D.
1980
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available